Functional Graphの連結成分には閉路が存在する